Dangling pointer - PDFSEARCH.IO - Document Search Engine

Dangling pointer
Results: 65

#	Item
31	ACSL: ANSI/ISO C Specification Language Version 1.9 ACSL: ANSI/ISO C Specification Language Version 1.9 Add to Reading List Source URL: frama-c.com Language: English - Date: 2015-03-17 11:33:40 Procedural programming languages Data types C programming language Primitive types Pointer C ANSI/ISO C Specification Language Pascal Dangling pointer Software engineering Computing Programming language theory
32	ACSL Version 1.9 Implementation in Sodium[removed] ACSL: ANSI/ISO C Specification Language Version 1.9 – Sodium[removed] Add to Reading List Source URL: frama-c.com Language: English - Date: 2015-03-17 11:33:40 Procedural programming languages Data types C programming language Primitive types Pointer C++ C ANSI/ISO C Specification Language Dangling pointer Software engineering Computing Computer programming
33	ACSL Version 1.9 Implementation in Sodium[removed] ACSL: ANSI/ISO C Specification Language Version 1.9 – Sodium[removed] Add to Reading List Source URL: frama-c.com Language: English - Date: 2015-03-17 11:33:40 Procedural programming languages Data types C programming language Primitive types Pointer C++ C ANSI/ISO C Specification Language Dangling pointer Software engineering Computing Computer programming
34	Secure Virtual Architecture: Using LLVM to Provide Memory Safety to the Entire Software Stack John Criswell, University of Illinois Andrew Lenharth, University of Illinois Dinakar Dhurjati, DoCoMo Communications Laborato Add to Reading List Source URL: llvm.org Language: English - Date: 2010-02-25 20:20:06 Programming language implementation Procedural programming languages Microsoft Research Microsoft operating systems Pointer Dangling pointer C Memory safety Singularity Software Computing Software bugs
35	Rust: A Friendly Introduction Tim Chevalier Mozilla Research June 19, 2013 http://rust-lang.org/ Add to Reading List Source URL: catamorphism.org Language: English - Date: 2013-06-25 17:36:44 Cross-platform software Software bugs Data types Procedural programming languages Rust Pointer Memory safety C Dangling pointer Computing Software engineering Computer programming
36	Cyclone: A safe dialect of C Trevor Jim∗ Greg Morrisett† James Cheney† Add to Reading List Source URL: www.r-5.org Language: English - Date: 2014-10-27 10:44:04 Software bugs Data types C programming language C++ Primitive types Cyclone Pointer C Dangling pointer Computing Software engineering Computer programming
37	SoK: Eternal War in Memory L´aszl´o Szekeres† , Mathias Payer‡ , Tao Wei∗‡ , Dawn Song‡ † Stony Brook University ‡ University of California, Berkeley ∗ Peking University Add to Reading List Source URL: lenx.100871.net Language: English - Date: 2013-03-11 18:00:21 Computer programming Pointer Dangling pointer Stack buffer overflow Memory safety Address space layout randomization Buffer overflow C Memory corruption Computing Software engineering Software bugs
38	Write Barrier Elision for Concurrent Garbage Collectors Martin T. Vechev David F. Bacon Computer Laboratory Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:24:26 Data types Primitive types C++ C programming language Automatic memory management Pointer Garbage collection Dangling pointer Unreachable memory Software engineering Computing Computer programming
39	TERM PROJECT, FALL TERM[removed]POINTERMINATOR Rid C++ code of unnecessary pointers AUTHORS Add to Reading List Source URL: eprints.hsr.ch Language: English - Date: 2014-04-17 10:30:39 Data types C++ Primitive types Cross-platform software Pointer C Reference Function pointer Dangling pointer Software engineering Computing Computer programming
40	A Practical Flow-Sensitive and Context-Sensitive C and C++ Memory Leak Detector David L. Heine and Monica S. Lam Computer Systems Laboratory Stanford University {dlheine, lam}@stanford.edu Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2003-04-23 02:53:56 Data types C++ Pointer Dangling pointer C Type system This Region-based memory management Function pointer Software engineering Computer programming Computing